An Extension of Description Logic Al
نویسنده
چکیده
The research in the domain of knowledge representation and reasoning has always concentrated on the methods that give a good description in the domain where they are able to be used to construct intelligent applications. Description Logics are a family of languages of knowledge representation which can be used to represent knowledge of a field of applications by clear, formal and structured means. In this paper, we give an overview of what are Description Logics and their actual applications in different fields and a brief idea of extensions of Description Logic AL, as we also introduce two operators, the operator less and operator more, which allow us to obtain a new extension of the Description Logic AL.
منابع مشابه
Extension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملExploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligent systems such as Inductive Logic Programming (ILP) systems which were not conceived for dealing with DL knowledge bases. In this paper, we describe an extension of the ILP system AL-QuIn to deal with a background know...
متن کاملMethodology of Description in Shaykh al – Ishraq
As an ontologist philosopher Shaykh al – Isharq believes in a heirarchegal being on the basis of which presents his classification of various descriptions. These descriptions are various both in terms of longitudinal and latitudinal. That is, for instance though his intative descriptions are at the latitude of his logical analytic descriptions, possesses itself a longitudinal order successiv...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملAn ILP Approach to Ontology Refinement for the Semantic Web
Ontology Refinement is a phase in the Ontology Learning process that aims at the adaptation of an existing ontology to a specific domain or the needs of a particular user. In this paper we consider the problem of refining a known concept (reference concept) belonging to a given taxonomic ontology in the light of new knowledge coming from an external data source. Ontologies for the Semantic Web ...
متن کامل